2 402 202 книги
без регистрации
бесплатно
Мобильная версия
Книги
Категории и жанры
Лучшие книги
Добавить книгу
Библиотека
Помощь
Мобильная версия
Плагин
Контакты
Как помочь?
Спонсорам и инвесторам
API
Booksee
.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Logic, Language, Information, and Computation - WoLLIC 2011
Lev D. Beklemishev
,
Ruy de Queiroz
3.14 Mb
#2
Undecidable theories
Lev D. Beklemishev
Категория:
Mathematics
,
Algebra
,
Mathematical logic
5.99 Mb
#3
Provability, Computability and Reflection, Volume 65
Lev D. Beklemishev
Категория:
Mathematical logic
3.00 Mb
#4
Provability, Computability and Reflection, Volume 83
Lev D. Beklemishev
Категория:
Mathematical logic
2.72 Mb
#5
The axiom of choice
Lev D. Beklemishev
Категория:
Mathematical logic
1.22 Mb
#6
Provability, Computability and Reflection, Volume 62
Lev D. Beklemishev
Категория:
Mathematical logic
980 Kb
#7
Provability, Computability and Reflection, Volume 84
Lev D. Beklemishev
Категория:
Mathematical logic
2.55 Mb
#8
An algebraic approach to non-classical logics
Lev D. Beklemishev
Категория:
Mathematical logic
2.45 Mb
#9
Provability, Computability and Reflection, Volume 88
Lev D. Beklemishev
Категория:
Mathematical logic
1.46 Mb
#10
Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers.
Lev D. Beklemishev
529 Kb
#11
The axiom of choice
Lev D. Beklemishev
686 Kb
#12
An algebraic approach to non-classical logics
Lev D. Beklemishev
1.44 Mb
#13
Combinatory logic
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
3.38 Mb
#14
Introduction to the theory of finite automata
Lev D. Beklemishev
Категория:
Cs_Computer science
,
CsAl_Algorithms
2.09 Mb
#15
Mathematical logic in Latin America: Proceedings Santiago, 1978
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.84 Mb
#16
Non-classical logics, model theory and computability: Proceedings Campinas, 1976
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
1.78 Mb
#17
A deductive theory of space and time (no TOC)
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
844 Kb
#18
Logic colloquium '78: Proceedings Mons, 1978
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.90 Mb
#19
Word problems: Decision problems and the Burnside problem in group theory
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
3.63 Mb
#20
Computer programming and formal systems
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
1006 Kb
#21
Constructive order types
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
998 Kb
#22
Formal systems and recursive functions: Proceedings Oxford, 1963
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
1.84 Mb
#23
Outlines of a formalist philosophy of mathematics
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
462 Kb
#24
Generalized recursion theory II: Proceedings Oslo, 1977
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.27 Mb
#25
Generalized recursion theory: Proceedings Oslo, 1972
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.43 Mb
#26
Foundations of set theory
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
3.05 Mb
#27
Lincos: Design of a language for cosmic intercourse.
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
1.57 Mb
#28
Logic colloquium '69: Proceedings Manchester, 1969
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.44 Mb
#29
Recursive number theory: A development of recursive arithmetic in a logic-free equation calculus
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
1.04 Mb
#30
The axiomatic method with special reference to geometry and physics: Proc. Berkeley, 1957-8
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
3.20 Mb
#31
Intuitionism: An introduction
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
781 Kb
#32
Aspects of inductive logic (no TOC)
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.21 Mb
#33
Languages with expressions of infinite length
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
1.16 Mb
#34
Intuitionism and proof theory: Proceedings Buffalo, 1968
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
3.04 Mb
#35
Set theory (no TOC)
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.63 Mb
#36
The problem of inductive logic: Proceedings London, 1965
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.70 Mb
#37
Problems in the philosophy of science: Proceedings London, 1965
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.88 Mb
#38
Truth, syntax and modality: Proceedings Philadelphia, 1970
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.17 Mb
#39
The logical systems of Lesniewski
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.77 Mb
#40
Contributions to non-standard analysis
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
1.74 Mb
#41
Logic colloquium '77: Proceedings Wroclaw, 1977
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.16 Mb
#42
Toward a systematic pragmatics
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
637 Kb
#43
Aristotle's modal syllogisms (no TOC)
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
593 Kb
#44
Truth and consequence in mediaeval logic
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
909 Kb
#45
Foundational studies: Selected works,
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
5.54 Mb
#46
Foundational studies: Selected works,
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
5.21 Mb
#47
Logic, methodology and philosophy of science: Proceedings Stanford, 1960
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
5.73 Mb
#48
Nomological statements and admissible operations
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
872 Kb
#49
Complete theories (no TOC)
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
796 Kb
#50
Logic colloquium '73: Proceedings Bristol, 1973
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
3.28 Mb
#51
Contributions to mathematical logic: Proceedings Hannover, 1966
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
1.87 Mb
#52
Logic, methodology and philosophy of science IV: Proc. Bucharest, 1971
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
6.20 Mb
#53
Logic, methodology and philosophy of science IV: Proceedings Bucharest, 1971
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
6.76 Mb
#54
Logic, methodology and philosophy of science III: Proceedings Amsterdam, 1967
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
3.37 Mb
#55
An essay in modal logic
Lev D. Beklemishev
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
545 Kb
#56
Provability, Computability and Reflection, Volume 50
Lev D. Beklemishev
3.60 Mb
#57
Studies in logic and the foundations of mathematics, vol.69: Contributions to Non-Standard Analysis
Lev D. Beklemishev
11.40 Mb
#58
Foundational Studies, Selected Works
Lev D. Beklemishev
10.91 Mb
#59
Generalized Recursion Theory
Lev D. Beklemishev
18.29 Mb
#60
Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium: Symposium Proceedings: 2nd, 1977
Lev D. Beklemishev
3.75 Mb
#61
Provability, Computability and Reflection, Volume 17
Lev D. Beklemishev
1.48 Mb
#62
Large Infinitary Languages, Model Theory
Lev D. Beklemishev
17.09 Mb
#63
Logic Colloquium '69
Lev D. Beklemishev
12.21 Mb
#64
Logic Colloquium 1976: Proceedings
Lev D. Beklemishev
27.08 Mb
#65
Logic: Colloquium Proceedings, 1977
Lev D. Beklemishev
3.45 Mb
#66
Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978
Lev D. Beklemishev
5.05 Mb
#67
Logic in Algebraic Form, Three Languages and Theories
Lev D. Beklemishev
2.89 Mb
#68
Logic, Methodology and Philosophy of Science IV
Lev D. Beklemishev
15.11 Mb
#69
Mathematical Logic in Latin America: Symposium Proceedings
Lev D. Beklemishev
5.49 Mb
#70
Non-classical logics, model theory and computability.
Lev D. Beklemishev
12.58 Mb
#71
Set Theory
Lev D. Beklemishev
15.02 Mb
#72
Sets and Classes: On the Work by Paul Bernays
Lev D. Beklemishev
17.83 Mb
#73
Provability, Computability and Reflection, Volume 30
Lev D. Beklemishev
5.23 Mb
#74
Truth, Syntax and Modality: Proceedings of the Temple University Conference on Alternative Semantics
Lev D. Beklemishev
4.22 Mb
#75
Word problems. Decision problems and the Burnside problem in group theory
Lev D. Beklemishev
17.15 Mb
#76
An algebraic approach to non-classical logics
Lev D. Beklemishev
11.69 Mb
#77
Provability, Computability and Reflection
Lev D. Beklemishev
1.32 Mb
#78
Provability, Computability and Reflection
Lev D. Beklemishev
10.08 Mb